基于云进化的遗传粒子滤波算法

针对粒子滤波器存在的粒子贫乏问题,提出了一种基于云模型改进的遗传重采样方法。选择操作采用相隔一定代数进行随机采样的方式,防止选择压力过大导致粒子贫化;利用Y云发生器实现变异操作,根据粒子的观测概率自适应控制搜索范围,在现有粒子的附近搜索精良粒子,在提高粒子有效性的同时增加了粒子的多样性。仿真结果表明：改进后的算法有效地解决了粒子的贫乏问题,提高了滤波性能。     

装备需求论证工具化研究

以体系工程思想和DoDAF2．0为指导,在系统分析国内外装备需求论证工具软件研制现状和存在的问题基础上,提出了装备需求论证工具化概念及其软件功能需求,优化设计了工具软件体系结构框架,并着重探讨了软件集成和数据模型等关键支撑技术,为装备需求论证工具化实践奠定了理论基础。     

基于多资源点的装备应急器材调度决策模型

针对装备应急器材调度决策问题,从调度路径优化和调度计划分配2个方面,研究了其多目标优化模型的构建。将资源点划分为若干级别来确定资源点选取的优先次序,通过先求解资源点与需求点之间的最优路径,后求解器材资源分配量的思路,建立了装备应急器材调度决策的广义最优路径模型和运输模型,采用改进的Dijkstra算法对模型进行求解,仿真结果表明:所构建的决策模型及算法是有效的。     

装备需求论证模型化基本理论研究

针对装备需求论证缺乏模型体系支撑的问题,系统研究了装备需求论证模型化基本理论,论述了装备需求论证模型化的原则、方法、步骤和趋势,分析了关键工作与关键技术,并给出了装备需求满足度数学模型的应用示例,旨在为装备需求论证模型化提供理论指导,进一步完善装备需求论证工程化理论体系。     

基于灰色Verhulst优化模型的电子装备故障预测方法

针对平均故障工作时间数据样本量少的特点,提出利用灰色Verhulst模型预测电子装备故障;又针对灰色Verhulst模型存在预测精度不高的问题,研究了灰色Verhulst模型参数的优化方法。通过实际试验数据对2个模型进行了仿真验证,并基于灰色关联度对2个模型的模拟预测精度进行了比较分析,结果表明：基于灰色Verhulst优化模型适合于电子装备故障预测,并具有较高的拟合预测精度。     

基于RBF网络加速模型的可靠性评估

在可靠性加速试验中,由于各种不同的应力引起的失效机理不一样,不同应力之间可能还存在着相互耦合作用,要将它们和寿命结合,找出一个能真实描述客观情况的加速模型是相当困难的,仅仅依据有限的试验数据建立产品的加速模型存在很大难度和风险,为此提出了一种基于RBF网络加速模型的可靠性评估方法．该方法将加速寿命试验中的加速应力和可靠度作为训练网络的输入向量,相应的时间作为目标向量对网络进行训练,根据网络收敛速和误差精度等情况调整隐含层单元个数,直至得到最优的网络．最后,以实例说明了该方法的有效性和实用性．     

基于可执行模型架构的成像侦察卫星系统建模与仿真

成像侦察卫星系统内部关系复杂、任务需求种类较多,利用基于町执行模型架构的系统工程对其进行建模研究,可以有效地实现从模型到仿真的综合集成．通过研究可执行模型架构理论,集成UPDM与成像侦察卫星系统功能模型,对成像侦察卫星系统进行了建模与仿真,验证了可执行模型架构的有效性与实用性．     

餐厨垃圾热风干燥过程特性及模拟

为了考察不同温度(60～100℃)对2种餐厨垃圾在热风干燥过程中的水分变化规律及动理学特性的影响,利用7个数学模型对餐厨垃圾干燥过程的水分变化规律进行了拟合对比。结果表明:温度是影响干燥的重要因素。干燥温度越高,餐厨垃圾达到平衡含水率所需时间越短;烹饪过程可以改变餐厨垃圾的热阻,增加其活化能;用Page模型和Modified Page模型描述餐厨垃圾热风干燥过程拟合精度最佳;2种餐厨垃圾有效湿分扩散系数分别为1.37×10-9～2.47×10-9,5.14×10-10～2.05×10-9m2/s,活化能分别为13.86,34.05 kJ/mol。     

珊瑚岛淡水透镜体抽水倒锥影响因素研究

为研究珊瑚岛淡水透镜体抽水倒锥的形成和影响因素,构建了西沙永兴岛淡水透镜体三维数学模型,运用Visual Modflow软件对模型进行数值求解,获得了淡水透镜体外包络面、倒锥外形和相关因素对倒锥的影响。模拟计算表明,淡水水头的计算值与实测值之差为-0.58%～-3.86%;取年均降雨量的40%为回补量,永兴岛淡水透镜体最大计算厚度为15 m;抽水倒锥上升高度随抽水强度和时间的增加而增加,随井底到淡水透镜体底部边界距离的增加而减少;倒锥对抽水强度十分敏感,工程中应予以严格控制,对于永兴岛上长期开采的水井,建议抽水速率不超过5 m3/h。研究成果可用于制订淡水透镜体的开采策略,实现珊瑚岛地下淡水资源的持续开发和利用。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。